#Density : 7857150022518447105089435571/32000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {5, 6, 8, 11, 15}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
32310248348711530050119/2500000000000000000000000 138689832296428235445819/12500000000000000000000000 -2415825613305214592993/156250000000000000000000 -470034337778076334694627/12500000000000000000000000 261828574032085651462949/12500000000000000000000000 432471496846227856411051/12500000000000000000000000
138689832296428235445819/12500000000000000000000000 595317911976942067551519/62500000000000000000000000 -10369788729280295410893/781250000000000000000000 -2017594627452119832962727/62500000000000000000000000 1123883686408464085907649/62500000000000000000000000 1856358351791514344166351/62500000000000000000000000
-2415825613305214592993/156250000000000000000000 -10369788729280295410893/781250000000000000000000 180630409612257068471/9765625000000000000000 35144297873603748701669/781250000000000000000000 -19576828027294233314003/781250000000000000000000 -32335737807698597163997/781250000000000000000000
-470034337778076334694627/12500000000000000000000000 -2017594627452119832962727/62500000000000000000000000 35144297873603748701669/781250000000000000000000 6837839075269290153975791/62500000000000000000000000 -3808959283702229503017017/62500000000000000000000000 -6291392484332804849024983/62500000000000000000000000
261828574032085651462949/12500000000000000000000000 1123883686408464085907649/62500000000000000000000000 -19576828027294233314003/781250000000000000000000 -3808959283702229503017017/62500000000000000000000000 2121747918486957874838879/62500000000000000000000000 3504565923068337991215121/62500000000000000000000000
432471496846227856411051/12500000000000000000000000 1856358351791514344166351/62500000000000000000000000 -32335737807698597163997/781250000000000000000000 -6291392484332804849024983/62500000000000000000000000 3504565923068337991215121/62500000000000000000000000 5788615227152078746730879/62500000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
245535935872633267669913297/1000000000000000000000000000 -6065573971512214861341309/1000000000000000000000000000 -16281729445558058392354711/125000000000000000000000000 -475539457494221193830411001/1000000000000000000000000000 240072768922429512675823639/1000000000000000000000000000 -51099608491739045894284051/250000000000000000000000000
-6065573971512214861341309/1000000000000000000000000000 790309612616207891192850223/1000000000000000000000000000 -643162407295516108170278957/500000000000000000000000000 500537900293960193788112247/1000000000000000000000000000 -438619992484028255923889983/1000000000000000000000000000 20873356633351305692915611/125000000000000000000000000
-16281729445558058392354711/125000000000000000000000000 -643162407295516108170278957/500000000000000000000000000 1086817194924079297358105571/500000000000000000000000000 -272719605558195546320704743/500000000000000000000000000 144698586647612733558112461/250000000000000000000000000 -38962875059238555858009661/250000000000000000000000000
-475539457494221193830411001/1000000000000000000000000000 500537900293960193788112247/1000000000000000000000000000 -272719605558195546320704743/500000000000000000000000000 1223360959274766045465221223/1000000000000000000000000000 -732619065288216844076913387/1000000000000000000000000000 7750638122964457742599953/15625000000000000000000000
240072768922429512675823639/1000000000000000000000000000 -438619992484028255923889983/1000000000000000000000000000 144698586647612733558112461/250000000000000000000000000 -732619065288216844076913387/1000000000000000000000000000 471670702705578081267767193/1000000000000000000000000000 -72131781353579930642862487/250000000000000000000000000
-51099608491739045894284051/250000000000000000000000000 20873356633351305692915611/125000000000000000000000000 -38962875059238555858009661/250000000000000000000000000 7750638122964457742599953/15625000000000000000000000 -72131781353579930642862487/250000000000000000000000000 25417637193388151439416421/125000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1990597406605829287633481811/1000000000000000000000000000 1899769299172613358852669843/500000000000000000000000000 -566643925288543552073597429/1000000000000000000000000000 -141208039318937006671503511/40000000000000000000000000 -1295213150471348663954776673/1000000000000000000000000000 -494550233898329438097988511/125000000000000000000000000 6029351826110033146748869/31250000000000000000000000 1110241654500791254134913423/500000000000000000000000000 430189655559620769615655951/1000000000000000000000000000 1034224616409736677958179243/1000000000000000000000000000 -121168104598764185625829259/100000000000000000000000000 -1070607599642639333252462419/500000000000000000000000000
1899769299172613358852669843/500000000000000000000000000 838352441476950019494782923/62500000000000000000000000 -193239784442953262204457731/500000000000000000000000000 -890432634146003612550832989/62500000000000000000000000 -1143116284108753596855319117/250000000000000000000000000 -477297965309844988785157523/50000000000000000000000000 125074500448221885471398817/250000000000000000000000000 208351751942608516341798849/31250000000000000000000000 176425611031135034362745117/250000000000000000000000000 2062967623916071040344507343/500000000000000000000000000 -1024202544818680382187547513/250000000000000000000000000 -572668328115307869751936797/100000000000000000000000000
-566643925288543552073597429/1000000000000000000000000000 -193239784442953262204457731/500000000000000000000000000 239719743514806227191739883/1000000000000000000000000000 157802794879699701186730151/1000000000000000000000000000 131753680982413143568866197/1000000000000000000000000000 45062517384172094967547771/50000000000000000000000000 -1250853635608529232557571/31250000000000000000000000 -44757468854454264297392429/125000000000000000000000000 -135479093145544967408816717/1000000000000000000000000000 -51635877595971117649093539/1000000000000000000000000000 17956204238346364116658841/125000000000000000000000000 8490765000326582620496003/20000000000000000000000000
-141208039318937006671503511/40000000000000000000000000 -890432634146003612550832989/62500000000000000000000000 157802794879699701186730151/1000000000000000000000000000 3852824683901998413657842577/250000000000000000000000000 485650527981018522183609763/100000000000000000000000000 4723370125210722712822905387/500000000000000000000000000 -50306451874189193131411389/100000000000000000000000000 -431123847338568319695924349/62500000000000000000000000 -311127669540822412689141407/500000000000000000000000000 -4456579122089649066591021371/1000000000000000000000000000 2161500821999444399704086657/500000000000000000000000000 5795533052562927080107169409/1000000000000000000000000000
-1295213150471348663954776673/1000000000000000000000000000 -1143116284108753596855319117/250000000000000000000000000 131753680982413143568866197/1000000000000000000000000000 485650527981018522183609763/100000000000000000000000000 389667511747064253900601241/250000000000000000000000000 1627035267595292825048368267/500000000000000000000000000 -85271787371472451947596817/500000000000000000000000000 -568188311315340785257836577/250000000000000000000000000 -30070757494226094146320491/125000000000000000000000000 -1406453250011500724671091549/1000000000000000000000000000 27930580824592778144266563/20000000000000000000000000 1952133150760499904491945749/1000000000000000000000000000
-494550233898329438097988511/125000000000000000000000000 -477297965309844988785157523/50000000000000000000000000 45062517384172094967547771/50000000000000000000000000 4723370125210722712822905387/500000000000000000000000000 1627035267595292825048368267/500000000000000000000000000 531811511155629336059947561/62500000000000000000000000 -106552008107730536339575961/250000000000000000000000000 -259973596143835314047634851/50000000000000000000000000 -16353280509905803248515521/20000000000000000000000000 -688013756122690045279860393/250000000000000000000000000 373212369047851044611263799/125000000000000000000000000 2393231306013693573374571593/500000000000000000000000000
6029351826110033146748869/31250000000000000000000000 125074500448221885471398817/250000000000000000000000000 -1250853635608529232557571/31250000000000000000000000 -50306451874189193131411389/100000000000000000000000000 -85271787371472451947596817/500000000000000000000000000 -106552008107730536339575961/250000000000000000000000000 173483599323374663610080483/125000000000000000000000000 133634458873898009805118959/500000000000000000000000000 521274341826977290636749/31250000000000000000000000 -8203472029597667964099953/500000000000000000000000000 -15567125545651312953253343/100000000000000000000000000 -30334131579860016536352293/125000000000000000000000000
1110241654500791254134913423/500000000000000000000000000 208351751942608516341798849/31250000000000000000000000 -44757468854454264297392429/125000000000000000000000000 -431123847338568319695924349/62500000000000000000000000 -568188311315340785257836577/250000000000000000000000000 -259973596143835314047634851/50000000000000000000000000 133634458873898009805118959/500000000000000000000000000 3434455430769186197301709753/1000000000000000000000000000 434369677546245074853558733/1000000000000000000000000000 2001977993493317989106988961/1000000000000000000000000000 -2054915696740110634143588767/1000000000000000000000000000 -121395380859749572975596919/40000000000000000000000000
430189655559620769615655951/1000000000000000000000000000 176425611031135034362745117/250000000000000000000000000 -135479093145544967408816717/1000000000000000000000000000 -311127669540822412689141407/500000000000000000000000000 -30070757494226094146320491/125000000000000000000000000 -16353280509905803248515521/20000000000000000000000000 521274341826977290636749/31250000000000000000000000 434369677546245074853558733/1000000000000000000000000000 135128103039665118035049253/1000000000000000000000000000 81302753595388457831740543/500000000000000000000000000 -228437468005272542039806437/1000000000000000000000000000 -21601215367822551906581757/50000000000000000000000000
1034224616409736677958179243/1000000000000000000000000000 2062967623916071040344507343/500000000000000000000000000 -51635877595971117649093539/1000000000000000000000000000 -4456579122089649066591021371/1000000000000000000000000000 -1406453250011500724671091549/1000000000000000000000000000 -688013756122690045279860393/250000000000000000000000000 -8203472029597667964099953/500000000000000000000000000 2001977993493317989106988961/1000000000000000000000000000 81302753595388457831740543/500000000000000000000000000 103863201581307726260821951/62500000000000000000000000 -1252614403065759161301471023/1000000000000000000000000000 -1685136906392667423127446537/1000000000000000000000000000
-121168104598764185625829259/100000000000000000000000000 -1024202544818680382187547513/250000000000000000000000000 17956204238346364116658841/125000000000000000000000000 2161500821999444399704086657/500000000000000000000000000 27930580824592778144266563/20000000000000000000000000 373212369047851044611263799/125000000000000000000000000 -15567125545651312953253343/100000000000000000000000000 -2054915696740110634143588767/1000000000000000000000000000 -228437468005272542039806437/1000000000000000000000000000 -1252614403065759161301471023/1000000000000000000000000000 1254122221230631495858935517/1000000000000000000000000000 1778129346331927284899171407/1000000000000000000000000000
-1070607599642639333252462419/500000000000000000000000000 -572668328115307869751936797/100000000000000000000000000 8490765000326582620496003/20000000000000000000000000 5795533052562927080107169409/1000000000000000000000000000 1952133150760499904491945749/1000000000000000000000000000 2393231306013693573374571593/500000000000000000000000000 -30334131579860016536352293/125000000000000000000000000 -121395380859749572975596919/40000000000000000000000000 -21601215367822551906581757/50000000000000000000000000 -1685136906392667423127446537/1000000000000000000000000000 1778129346331927284899171407/1000000000000000000000000000 1369788375823686003920045823/500000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
2905972345169904797489547289/1000000000000000000000000000 -106388710487017822905083343/100000000000000000000000000 2935887886880669073733608209/1000000000000000000000000000 4657576555919544936346821539/1000000000000000000000000000
-106388710487017822905083343/100000000000000000000000000 389492960519854116638750959/1000000000000000000000000000 -1074839294114184140346157599/1000000000000000000000000000 -426288953307431333952159537/250000000000000000000000000
2935887886880669073733608209/1000000000000000000000000000 -1074839294114184140346157599/1000000000000000000000000000 753625971565723449393294487/250000000000000000000000000 4689441627847827065898643657/1000000000000000000000000000
4657576555919544936346821539/1000000000000000000000000000 -426288953307431333952159537/250000000000000000000000000 4689441627847827065898643657/1000000000000000000000000000 200198098922062410119728441/25000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
465012130762559815313281659/250000000000000000000000000 -115996854918878490483177139/1000000000000000000000000000 -86346941633000200573285417/200000000000000000000000000 1023646748982654398103945869/1000000000000000000000000000 -405424724181028871576929931/200000000000000000000000000 43484318437612956031124481/62500000000000000000000000 -1729626031851476014148863417/1000000000000000000000000000 1288534285316040387031124623/1000000000000000000000000000 -73132660796283739103985563/250000000000000000000000000 -897649482132115495752885999/500000000000000000000000000
-115996854918878490483177139/1000000000000000000000000000 8692992271216899469028627/200000000000000000000000000 63097263847554309005251117/500000000000000000000000000 -57180875118916877560217387/200000000000000000000000000 301461910734578391563618851/1000000000000000000000000000 101271553317977778820045647/1000000000000000000000000000 9002425489545681251850543/50000000000000000000000000 -201445197044655415859587733/500000000000000000000000000 159114713897532968843622151/1000000000000000000000000000 28674933728255647114922801/200000000000000000000000000
-86346941633000200573285417/200000000000000000000000000 63097263847554309005251117/500000000000000000000000000 94515817176586276301246493/250000000000000000000000000 -13495735511388434296743787/15625000000000000000000000 31897799415500033737813613/31250000000000000000000000 87626737411555647768044921/500000000000000000000000000 676329225390110596273609239/1000000000000000000000000000 -597982711105125105142610049/500000000000000000000000000 445724869450625958418425179/1000000000000000000000000000 143488633732497284735559577/250000000000000000000000000
1023646748982654398103945869/1000000000000000000000000000 -57180875118916877560217387/200000000000000000000000000 -13495735511388434296743787/15625000000000000000000000 402959541703302889294171419/200000000000000000000000000 -2407298685949327540099699431/1000000000000000000000000000 -323875678170839154516295657/1000000000000000000000000000 -813451120813811208121336741/500000000000000000000000000 68143001310343172059138781/25000000000000000000000000 -999820360793501172088406741/1000000000000000000000000000 -1426681608753412624391145631/1000000000000000000000000000
-405424724181028871576929931/200000000000000000000000000 301461910734578391563618851/1000000000000000000000000000 31897799415500033737813613/31250000000000000000000000 -2407298685949327540099699431/1000000000000000000000000000 4100759908174234705495374869/1000000000000000000000000000 -777617535006288671657651661/1000000000000000000000000000 1581260657669786400486274879/500000000000000000000000000 -1560586098848344972473868713/500000000000000000000000000 901183058940611606161369297/1000000000000000000000000000 2915671636107628934396204267/1000000000000000000000000000
43484318437612956031124481/62500000000000000000000000 101271553317977778820045647/1000000000000000000000000000 87626737411555647768044921/500000000000000000000000000 -323875678170839154516295657/1000000000000000000000000000 -777617535006288671657651661/1000000000000000000000000000 1444316546991708820702595749/1000000000000000000000000000 -1142979873470314377911420389/1000000000000000000000000000 -13437587501849932585883229/20000000000000000000000000 133994339451251277151942527/250000000000000000000000000 -1270167957980949955746173901/1000000000000000000000000000
-1729626031851476014148863417/1000000000000000000000000000 9002425489545681251850543/50000000000000000000000000 676329225390110596273609239/1000000000000000000000000000 -813451120813811208121336741/500000000000000000000000000 1581260657669786400486274879/500000000000000000000000000 -1142979873470314377911420389/1000000000000000000000000000 2766224974834057218762168871/1000000000000000000000000000 -2013965758248094839280568611/1000000000000000000000000000 17817574398885912629484623/40000000000000000000000000 533655969460453960258602381/200000000000000000000000000
1288534285316040387031124623/1000000000000000000000000000 -201445197044655415859587733/500000000000000000000000000 -597982711105125105142610049/500000000000000000000000000 68143001310343172059138781/25000000000000000000000000 -1560586098848344972473868713/500000000000000000000000000 -13437587501849932585883229/20000000000000000000000000 -2013965758248094839280568611/1000000000000000000000000000 1896721492921805980068037771/500000000000000000000000000 -1438393328366986072736935927/1000000000000000000000000000 -168324163186652606972869341/100000000000000000000000000
-73132660796283739103985563/250000000000000000000000000 159114713897532968843622151/1000000000000000000000000000 445724869450625958418425179/1000000000000000000000000000 -999820360793501172088406741/1000000000000000000000000000 901183058940611606161369297/1000000000000000000000000000 133994339451251277151942527/250000000000000000000000000 17817574398885912629484623/40000000000000000000000000 -1438393328366986072736935927/1000000000000000000000000000 302539244293197729888364733/500000000000000000000000000 76369320655746721308713237/250000000000000000000000000
-897649482132115495752885999/500000000000000000000000000 28674933728255647114922801/200000000000000000000000000 143488633732497284735559577/250000000000000000000000000 -1426681608753412624391145631/1000000000000000000000000000 2915671636107628934396204267/1000000000000000000000000000 -1270167957980949955746173901/1000000000000000000000000000 533655969460453960258602381/200000000000000000000000000 -168324163186652606972869341/100000000000000000000000000 76369320655746721308713237/250000000000000000000000000 3053491210815455936207957191/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
12438131005637591768683987/62500000000000000000000000 -67110772711286103792105381/200000000000000000000000000 383404473823919339158721141/1000000000000000000000000000 -770806634076067858033902881/1000000000000000000000000000 103535005266778927063936043/500000000000000000000000000 442001018409904394302472919/500000000000000000000000000
-67110772711286103792105381/200000000000000000000000000 603889092283352897248932363/1000000000000000000000000000 -8019343640653912742956209/12500000000000000000000000 324917113750434192081627831/250000000000000000000000000 -349143804395636464848886221/1000000000000000000000000000 -1490528896100997381750803001/1000000000000000000000000000
383404473823919339158721141/1000000000000000000000000000 -8019343640653912742956209/12500000000000000000000000 1020005403286494212968202509/1000000000000000000000000000 -1485003613507202885058030997/1000000000000000000000000000 398932365653403388498546319/1000000000000000000000000000 1703081111317829440662511587/1000000000000000000000000000
-770806634076067858033902881/1000000000000000000000000000 324917113750434192081627831/250000000000000000000000000 -1485003613507202885058030997/1000000000000000000000000000 2985491082152844629393405341/1000000000000000000000000000 -160404864851805180895475167/200000000000000000000000000 -3423919931221089474848497119/1000000000000000000000000000
103535005266778927063936043/500000000000000000000000000 -349143804395636464848886221/1000000000000000000000000000 398932365653403388498546319/1000000000000000000000000000 -160404864851805180895475167/200000000000000000000000000 6733010991772322160488483/31250000000000000000000000 57487758998228386226132139/62500000000000000000000000
442001018409904394302472919/500000000000000000000000000 -1490528896100997381750803001/1000000000000000000000000000 1703081111317829440662511587/1000000000000000000000000000 -3423919931221089474848497119/1000000000000000000000000000 57487758998228386226132139/62500000000000000000000000 61355210148120878106380727/15625000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
402252168812600611812619/1000000000000000000000000000 -7266850849622097104423/62500000000000000000000000 8350571449906430465877/7812500000000000000000000 45604318707775678974409/1000000000000000000000000000 778184240690615852086747/500000000000000000000000000 1046408605198907866301191/500000000000000000000000000 -150806744740965549013869/250000000000000000000000000 -3508202760319492562308371/1000000000000000000000000000 -23840416733564484684553/500000000000000000000000000
-7266850849622097104423/62500000000000000000000000 131278648979155493491/3906250000000000000000000 -150856507286733831609/488281250000000000000000 -823860771531172513853/62500000000000000000000000 -14058218324385541913399/31250000000000000000000000 -18903801772375571931347/31250000000000000000000000 2724385860701664650673/15625000000000000000000000 63377125559641482931407/62500000000000000000000000 430686932296835928701/31250000000000000000000000
8350571449906430465877/7812500000000000000000000 -150856507286733831609/488281250000000000000000 173354052374242953291/61035156250000000000000 946724844064174479447/7812500000000000000000000 16154749699076354490501/3906250000000000000000000 21722965097501512795353/3906250000000000000000000 -3130679197590407544627/1953125000000000000000000 -72828688276022541961293/7812500000000000000000000 -494916171407697477399/3906250000000000000000000
45604318707775678974409/1000000000000000000000000000 -823860771531172513853/62500000000000000000000000 946724844064174479447/7812500000000000000000000 5170273887993093550099/1000000000000000000000000000 88224663227003039897017/500000000000000000000000000 118633919789459065921501/500000000000000000000000000 -17097331931734583688159/250000000000000000000000000 -397733583998756614232481/1000000000000000000000000000 -2702846739280540707283/500000000000000000000000000
778184240690615852086747/500000000000000000000000000 -14058218324385541913399/31250000000000000000000000 16154749699076354490501/3906250000000000000000000 88224663227003039897017/500000000000000000000000000 1505450459712377186832811/250000000000000000000000000 2024348776769927770165783/250000000000000000000000000 -291745927669428699827997/125000000000000000000000000 -6786857381743042475553123/500000000000000000000000000 -46120911288858112484089/250000000000000000000000000
1046408605198907866301191/500000000000000000000000000 -18903801772375571931347/31250000000000000000000000 21722965097501512795353/3906250000000000000000000 118633919789459065921501/500000000000000000000000000 2024348776769927770165783/250000000000000000000000000 2722100846010463312046899/250000000000000000000000000 -392304846695554257087441/125000000000000000000000000 -9126149817954402588767919/500000000000000000000000000 -62017856349090373349917/250000000000000000000000000
-150806744740965549013869/250000000000000000000000000 2724385860701664650673/15625000000000000000000000 -3130679197590407544627/1953125000000000000000000 -17097331931734583688159/250000000000000000000000000 -291745927669428699827997/125000000000000000000000000 -392304846695554257087441/125000000000000000000000000 56538350872042140902619/62500000000000000000000000 1315246204232471873619621/250000000000000000000000000 8937914869346205318303/125000000000000000000000000
-3508202760319492562308371/1000000000000000000000000000 63377125559641482931407/62500000000000000000000000 -72828688276022541961293/7812500000000000000000000 -397733583998756614232481/1000000000000000000000000000 -6786857381743042475553123/500000000000000000000000000 -9126149817954402588767919/500000000000000000000000000 1315246204232471873619621/250000000000000000000000000 30596445617294016796888539/1000000000000000000000000000 207921851704974581348577/500000000000000000000000000
-23840416733564484684553/500000000000000000000000000 430686932296835928701/31250000000000000000000000 -494916171407697477399/3906250000000000000000000 -2702846739280540707283/500000000000000000000000000 -46120911288858112484089/250000000000000000000000000 -62017856349090373349917/250000000000000000000000000 8937914869346205318303/125000000000000000000000000 207921851704974581348577/500000000000000000000000000 1412958124521160709011/250000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
7940174284898572516908191/250000000000000000000000000 -155547513088836353/1000000000000000000000000000 -6651273460514975831649683/250000000000000000000000000 26605092551687578417313397/1000000000000000000000000000 13302550582289694676039063/500000000000000000000000000 -14517553148006053697780617/125000000000000000000000000 78717668848117897/250000000000000000000000000
-155547513088836353/1000000000000000000000000000 1617701854659278257462271/200000000000000000000000000 -8791522733163784476208381/250000000000000000000000000 35166095162261129861989499/1000000000000000000000000000 -17583047654916685491931121/500000000000000000000000000 397174871559618801/1000000000000000000000000000 -3612443088452807633465607/50000000000000000000000000
-6651273460514975831649683/250000000000000000000000000 -8791522733163784476208381/250000000000000000000000000 3045945159014780577404347967/500000000000000000000000000 -147863101623701384769939071/250000000000000000000000000 136719907394245094618774361/250000000000000000000000000 24321941166511483685722169/250000000000000000000000000 15094287420800592997597271/62500000000000000000000000
26605092551687578417313397/1000000000000000000000000000 35166095162261129861989499/1000000000000000000000000000 -147863101623701384769939071/250000000000000000000000000 6091890327712847720977488559/1000000000000000000000000000 -3023658774907964261170793477/500000000000000000000000000 -97287759419161672976211941/1000000000000000000000000000 -60377150056410374459007389/250000000000000000000000000
13302550582289694676039063/500000000000000000000000000 -17583047654916685491931121/500000000000000000000000000 136719907394245094618774361/250000000000000000000000000 -3023658774907964261170793477/500000000000000000000000000 761486289848000706862496697/125000000000000000000000000 -48643885970926669637021169/500000000000000000000000000 60377149991028962844015771/250000000000000000000000000
-14517553148006053697780617/125000000000000000000000000 397174871559618801/1000000000000000000000000000 24321941166511483685722169/250000000000000000000000000 -97287759419161672976211941/1000000000000000000000000000 -48643885970926669637021169/500000000000000000000000000 53086832062622092953044897/125000000000000000000000000 175111059995359/1000000000000000000000000
78717668848117897/250000000000000000000000000 -3612443088452807633465607/50000000000000000000000000 15094287420800592997597271/62500000000000000000000000 -60377150056410374459007389/250000000000000000000000000 60377149991028962844015771/250000000000000000000000000 175111059995359/1000000000000000000000000 161753029312151006443098253/250000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
382447384833581105722342497/1000000000000000000000000000 -65752161010388052601612889/500000000000000000000000000 -13157778280701929489468999/62500000000000000000000000 22743163146740652300188361/1000000000000000000000000000 251802821171890354801630043/200000000000000000000000000 -6269897598768819735106307/1000000000000000000000000000 -30480336223379124940384953/100000000000000000000000000 -160064046968952323792076307/500000000000000000000000000 -21990644287697781762274167/500000000000000000000000000 410948939160256682578138667/1000000000000000000000000000 168882779622927986710022843/200000000000000000000000000 231293385864412291018066109/1000000000000000000000000000
-65752161010388052601612889/500000000000000000000000000 687418013826839520735347887/500000000000000000000000000 57581302710896780851807037/250000000000000000000000000 162388628738167126295119257/1000000000000000000000000000 -9086596644146677608241941/1000000000000000000000000000 229698559649097739327392667/500000000000000000000000000 -688853872759394351763155249/1000000000000000000000000000 263923010888252248034521291/500000000000000000000000000 -149437539118934151383117899/1000000000000000000000000000 -155109774481731192142997409/250000000000000000000000000 27327302894273074242470523/200000000000000000000000000 -736379710231786159118322901/1000000000000000000000000000
-13157778280701929489468999/62500000000000000000000000 57581302710896780851807037/250000000000000000000000000 243486744344133842634731627/500000000000000000000000000 -10993774781524658509443949/1000000000000000000000000000 20766999752612275096763361/200000000000000000000000000 -38529237660101531813834181/100000000000000000000000000 384565236318501867848069977/1000000000000000000000000000 -166313042694602038303226563/500000000000000000000000000 68809588756034130893965487/1000000000000000000000000000 -389140425192714599096160051/500000000000000000000000000 151532308769033043564130801/1000000000000000000000000000 -811134891769328148213004813/1000000000000000000000000000
22743163146740652300188361/1000000000000000000000000000 162388628738167126295119257/1000000000000000000000000000 -10993774781524658509443949/1000000000000000000000000000 6215335544053432074445331/250000000000000000000000000 3100375041850195029338401/31250000000000000000000000 86826504437787296706760281/1000000000000000000000000000 -18080042811547908859595683/125000000000000000000000000 6616443740890888686238321/100000000000000000000000000 -28566681459129064263947941/1000000000000000000000000000 -69256935524679657971583/125000000000000000000000000 80931574227868546197031637/1000000000000000000000000000 -3701744188087642786139313/125000000000000000000000000
251802821171890354801630043/200000000000000000000000000 -9086596644146677608241941/1000000000000000000000000000 20766999752612275096763361/200000000000000000000000000 3100375041850195029338401/31250000000000000000000000 2028545315075466553387361783/250000000000000000000000000 -1407586511138966228519126623/1000000000000000000000000000 -126604951833277425490426673/250000000000000000000000000 -315303368648714487556245141/100000000000000000000000000 -25368239264581942457454913/1000000000000000000000000000 -109818897999795603455502613/500000000000000000000000000 5793428106180467343364399221/1000000000000000000000000000 -720020317621156692535884429/500000000000000000000000000
-6269897598768819735106307/1000000000000000000000000000 229698559649097739327392667/500000000000000000000000000 -38529237660101531813834181/100000000000000000000000000 86826504437787296706760281/1000000000000000000000000000 -1407586511138966228519126623/1000000000000000000000000000 957817464612146703003862719/1000000000000000000000000000 -97751780912988401315007437/125000000000000000000000000 300509950654205935673143629/250000000000000000000000000 -20551601178315035726141179/125000000000000000000000000 136004528684072747250025907/200000000000000000000000000 -1034016674332708739897328547/1000000000000000000000000000 849599556010804971329913263/1000000000000000000000000000
-30480336223379124940384953/100000000000000000000000000 -688853872759394351763155249/1000000000000000000000000000 384565236318501867848069977/1000000000000000000000000000 -18080042811547908859595683/125000000000000000000000000 -126604951833277425490426673/250000000000000000000000000 -97751780912988401315007437/125000000000000000000000000 1107858983685421925893799191/1000000000000000000000000000 -307169450004451507315642021/500000000000000000000000000 10617731960674996923875971/50000000000000000000000000 -643268565461504966985188947/1000000000000000000000000000 -345863353227978587211088947/1000000000000000000000000000 -126194604917929509553360811/250000000000000000000000000
-160064046968952323792076307/500000000000000000000000000 263923010888252248034521291/500000000000000000000000000 -166313042694602038303226563/500000000000000000000000000 6616443740890888686238321/100000000000000000000000000 -315303368648714487556245141/100000000000000000000000000 300509950654205935673143629/250000000000000000000000000 -307169450004451507315642021/500000000000000000000000000 229568693684310760548492259/125000000000000000000000000 -74532419651467910335613867/500000000000000000000000000 57520529528672180259575203/100000000000000000000000000 -226229526782280895302401679/100000000000000000000000000 12525889561270644818026171/12500000000000000000000000
-21990644287697781762274167/500000000000000000000000000 -149437539118934151383117899/1000000000000000000000000000 68809588756034130893965487/1000000000000000000000000000 -28566681459129064263947941/1000000000000000000000000000 -25368239264581942457454913/1000000000000000000000000000 -20551601178315035726141179/125000000000000000000000000 10617731960674996923875971/50000000000000000000000000 -74532419651467910335613867/500000000000000000000000000 41580178864904834751597169/1000000000000000000000000000 -111845954470590578289184619/1000000000000000000000000000 -8703685276186856406411201/500000000000000000000000000 -94626968586602993420128339/1000000000000000000000000000
410948939160256682578138667/1000000000000000000000000000 -155109774481731192142997409/250000000000000000000000000 -389140425192714599096160051/500000000000000000000000000 -69256935524679657971583/125000000000000000000000000 -109818897999795603455502613/500000000000000000000000000 136004528684072747250025907/200000000000000000000000000 -643268565461504966985188947/1000000000000000000000000000 57520529528672180259575203/100000000000000000000000000 -111845954470590578289184619/1000000000000000000000000000 1569414985385355924636331533/1000000000000000000000000000 -16869223285450650817623917/50000000000000000000000000 165077357553467495953614819/100000000000000000000000000
168882779622927986710022843/200000000000000000000000000 27327302894273074242470523/200000000000000000000000000 151532308769033043564130801/1000000000000000000000000000 80931574227868546197031637/1000000000000000000000000000 5793428106180467343364399221/1000000000000000000000000000 -1034016674332708739897328547/1000000000000000000000000000 -345863353227978587211088947/1000000000000000000000000000 -226229526782280895302401679/100000000000000000000000000 -8703685276186856406411201/500000000000000000000000000 -16869223285450650817623917/50000000000000000000000000 2144027780805532998554339907/500000000000000000000000000 -1220530682607068541124681431/1000000000000000000000000000
231293385864412291018066109/1000000000000000000000000000 -736379710231786159118322901/1000000000000000000000000000 -811134891769328148213004813/1000000000000000000000000000 -3701744188087642786139313/125000000000000000000000000 -720020317621156692535884429/500000000000000000000000000 849599556010804971329913263/1000000000000000000000000000 -126194604917929509553360811/250000000000000000000000000 12525889561270644818026171/12500000000000000000000000 -94626968586602993420128339/1000000000000000000000000000 165077357553467495953614819/100000000000000000000000000 -1220530682607068541124681431/1000000000000000000000000000 192571127306773147583695157/100000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
3041488867676499744185821657/500000000000000000000000000 12691686728820179557417953/15625000000000000000000000 2064334741510278169408887569/250000000000000000000000000 -1218669790686379213537111/500000000000000000000000000
12691686728820179557417953/15625000000000000000000000 7906020444886673994447511/62500000000000000000000000 150202807921554094988486071/125000000000000000000000000 2735268905211343321075793/25000000000000000000000000
2064334741510278169408887569/250000000000000000000000000 150202807921554094988486071/125000000000000000000000000 2958117449163879482596853321/250000000000000000000000000 61885822731896777092994639/125000000000000000000000000
-1218669790686379213537111/500000000000000000000000000 2735268905211343321075793/25000000000000000000000000 61885822731896777092994639/125000000000000000000000000 401667270247805507455648927/500000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
3430041987920371291394963/1000000000000000000000000000 20293935093912056630499851/1000000000000000000000000000 1180899616565329652443277/500000000000000000000000000 -2968738370127610620279397/500000000000000000000000000 -2002245220151642307437341/500000000000000000000000000 -11451151419785172195353307/500000000000000000000000000
20293935093912056630499851/1000000000000000000000000000 120069609365223998747622503/1000000000000000000000000000 1746706036413732859297721/125000000000000000000000000 -4391154977573895924901963/125000000000000000000000000 -2961584339415701212515427/125000000000000000000000000 -33875521711117040008458111/250000000000000000000000000
1180899616565329652443277/500000000000000000000000000 1746706036413732859297721/125000000000000000000000000 7736959098126625029857957/1000000000000000000000000000 -4088325472703035091804437/1000000000000000000000000000 -2757343055697678467359501/1000000000000000000000000000 -15769673228018495819824497/1000000000000000000000000000
-2968738370127610620279397/500000000000000000000000000 -4391154977573895924901963/125000000000000000000000000 -4088325472703035091804437/1000000000000000000000000000 10277900435395540095742853/1000000000000000000000000000 6931859414435575411582973/1000000000000000000000000000 39644380706451823300006113/1000000000000000000000000000
-2002245220151642307437341/500000000000000000000000000 -2961584339415701212515427/125000000000000000000000000 -2757343055697678467359501/1000000000000000000000000000 6931859414435575411582973/1000000000000000000000000000 4675145010747509847345077/1000000000000000000000000000 26737880499706383424476153/1000000000000000000000000000
-11451151419785172195353307/500000000000000000000000000 -33875521711117040008458111/250000000000000000000000000 -15769673228018495819824497/1000000000000000000000000000 39644380706451823300006113/1000000000000000000000000000 26737880499706383424476153/1000000000000000000000000000 152918091732575178620194173/1000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 576460341995072206851889/25000000000000000000000000 -8226494108796304812825137/1000000000000000000000000000 -1853990007440552204388223/250000000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -8226494108796304812825137/1000000000000000000000000000 23058413839332015454439663/1000000000000000000000000000 -926995026100433140000103/125000000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -1853990007440552204388223/250000000000000000000000000 -926995026100433140000103/125000000000000000000000000 1441150846330553686322559/62500000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 21028318902529711425513791/200000000000000000000000000 0/1 -221593682453799589497943/40000000000000000000000000 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 -221593682453799589497943/40000000000000000000000000 0/1 2474198009371932736179671/200000000000000000000000000 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
26796825099616373121945947/40000000000000000000000000 -669919498613536883832053603/1000000000000000000000000000 -282643023893289067021/500000000000000000000000000 -7775554891126497050712587/40000000000000000000000000 194388872199797075330176177/1000000000000000000000000000 -48597217730605854021321857/250000000000000000000000000 -447065927077020176751/1000000000000000000000000000 503023421861271394496909199/1000000000000000000000000000 -503024003585876441047781521/1000000000000000000000000000 290186723983553267533/1000000000000000000000000000
-669919498613536883832053603/1000000000000000000000000000 133984125277706997806646379/200000000000000000000000000 -56396968343629420793/100000000000000000000000000 971944359286932073372791/5000000000000000000000000 -194388871851707284190674967/1000000000000000000000000000 194388870698112606008815299/1000000000000000000000000000 -445072619743898767033/1000000000000000000000000000 -100604800622666602361826083/200000000000000000000000000 125755855366614977690297157/250000000000000000000000000 58262616844566483783/200000000000000000000000000
-282643023893289067021/500000000000000000000000000 -56396968343629420793/100000000000000000000000000 669920626472103379787171273/1000000000000000000000000000 -194388871528914380786208117/1000000000000000000000000000 97194435914857767580863757/500000000000000000000000000 97194435890685345291632503/500000000000000000000000000 445969796966493245261/1000000000000000000000000000 290024294587948169967/1000000000000000000000000000 14567741801059991573/50000000000000000000000000 503023421325898820366092521/1000000000000000000000000000
-7775554891126497050712587/40000000000000000000000000 971944359286932073372791/5000000000000000000000000 -194388871528914380786208117/1000000000000000000000000000 228407920880161859604830037/250000000000000000000000000 -512385790412816349353291983/1000000000000000000000000000 -401245894320518893840151/2000000000000000000000000 10331959738681077/50000000000000000000000000 -74212504712250817023188763/500000000000000000000000000 37106252453506612736846663/250000000000000000000000000 -1187400067525943644325119/8000000000000000000000000
194388872199797075330176177/1000000000000000000000000000 -194388871851707284190674967/1000000000000000000000000000 97194435914857767580863757/500000000000000000000000000 -512385790412816349353291983/1000000000000000000000000000 913631682686171440581501503/1000000000000000000000000000 -200622946452546680797455807/1000000000000000000000000000 -199800882018205587/500000000000000000000000000 37106252410018282507598887/250000000000000000000000000 -9276563097859114672800901/62500000000000000000000000 927656304674903123524711/6250000000000000000000000
-48597217730605854021321857/250000000000000000000000000 194388870698112606008815299/1000000000000000000000000000 97194435890685345291632503/500000000000000000000000000 -401245894320518893840151/2000000000000000000000000 -200622946452546680797455807/1000000000000000000000000000 456815841658769932775093759/500000000000000000000000000 66829829694849147/500000000000000000000000000 -148425008659990000349523241/1000000000000000000000000000 148425008393081413050327811/1000000000000000000000000000 74212504410552535015168717/500000000000000000000000000
-447065927077020176751/1000000000000000000000000000 -445072619743898767033/1000000000000000000000000000 445969796966493245261/1000000000000000000000000000 10331959738681077/50000000000000000000000000 -199800882018205587/500000000000000000000000000 66829829694849147/500000000000000000000000000 176347800277489870251/500000000000000000000000000 229233231835491466183/1000000000000000000000000000 230699206961938380479/1000000000000000000000000000 -46055630205196110383/200000000000000000000000000
503023421861271394496909199/1000000000000000000000000000 -100604800622666602361826083/200000000000000000000000000 290024294587948169967/1000000000000000000000000000 -74212504712250817023188763/500000000000000000000000000 37106252410018282507598887/250000000000000000000000000 -148425008659990000349523241/1000000000000000000000000000 229233231835491466183/1000000000000000000000000000 133680170499725947930412379/250000000000000000000000000 -254136105598596318339844677/500000000000000000000000000 -1653029511300093621984509/125000000000000000000000000
-503024003585876441047781521/1000000000000000000000000000 125755855366614977690297157/250000000000000000000000000 14567741801059991573/50000000000000000000000000 37106252453506612736846663/250000000000000000000000000 -9276563097859114672800901/62500000000000000000000000 148425008393081413050327811/1000000000000000000000000000 230699206961938380479/1000000000000000000000000000 -254136105598596318339844677/500000000000000000000000000 534720681919963912651401439/1000000000000000000000000000 -13224235391563941222158129/1000000000000000000000000000
290186723983553267533/1000000000000000000000000000 58262616844566483783/200000000000000000000000000 503023421325898820366092521/1000000000000000000000000000 -1187400067525943644325119/8000000000000000000000000 927656304674903123524711/6250000000000000000000000 74212504410552535015168717/500000000000000000000000000 -46055630205196110383/200000000000000000000000000 -1653029511300093621984509/125000000000000000000000000 -13224235391563941222158129/1000000000000000000000000000 267360340855706299366641399/500000000000000000000000000

